Microsoft Word - PCF 2016 Lignano Juniors complete.doc

Source URL: www.ipttc.org

• Machine learning
• Classifier
• Unified Modeling Language
• Lignano Sabbiadoro
• Statistical classification

In Gerhard Lakemeyer and Bernhard Nebel, editors, Exploring Artificial Intelligence in the New Millenium, Morgan Kaufmann, 2002. Learning Theory and Language Modeling David McAllester

Source URL: rob.schapire.net

Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: se.inf.ethz.ch

• Systems engineering
• Graph rewriting
• Unified Modeling Language
• Model transformation
• Data transformation
• Model checking
• Mathematical logic

Hubert Hadera TU Dortmund, BCI Date: 4th of February 2015 Time: 4.00 p.m. Room: 205, Otto-Hahn-Straße 16

Source URL: grk1855.tu-dortmund.de

• Economy
• Business
• Operations research
• Scheduling
• Mathematical optimization
• Global optimization
• Draft:Industrial Modeling and Programming Language

SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-ISTVIsualize all moDel drivEn programming VIDE

Source URL: vide.tnmsoft.de

• ISO standards
• Java enterprise platform
• Object-relational mapping
• Java platform
• Unified Modeling Language
• Java Persistence API
• Eclipse
• Object Process Methodology
• Metamodeling
• Java Platform
• Enterprise Edition

1 MINLPLib - A Collection of Test Models for Mixed-Integer Nonlinear Programming Michael R. Bussieck, GAMS Development Corp, 1217 Potomac Street, NW, Washington, D.C, USA Email: Arne Stolbjerg

Source URL: www.gamsworld.org

• Mathematical optimization
• Computer algebra systems
• Computer file formats
• Mathematical modeling
• Numerical software
• AMPL
• BARON
• MPS
• Linear programming
• Nl
• Gams
• Modeling language

Software support for the Computation Independent Modelling in the MDA context Andreas Martin, Peter Loos Institute for Information Systems (IWi) at the German Research Center for Artificial Intelligence (DFKI), Stuhlsatz

Source URL: ftp.informatik.rwth-aachen.de

• Engineering
• Systems engineering
• Software engineering
• Systems science
• Scientific modeling
• Software architecture
• Software design
• Unified Modeling Language
• Model-driven architecture
• Information model
• Platform-specific model
• Business Process Model and Notation

Mining Source Code Repositories at Massive Scale using Language Modeling Miltiadis Allamanis, Charles Sutton School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, UK Email: , csutton@inf.

Source URL: homepages.inf.ed.ac.uk

Embedding Defect and Traceability Information in CIMand PIM-Level Software Models Jörg Rech and Mario Schmitt Fraunhofer IESE, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany +2210,

Source URL: ftp.informatik.rwth-aachen.de

• Unified Modeling Language
• ISO standards
• Diagrams
• Project management
• Systems Modeling Language
• Business Process Definition Metamodel
• Meta-Object Facility
• Object Management Group
• Business Process Model and Notation
• Metamodeling
• Eclipse Modeling Framework
• Profile

build great products™ A Matter of Facts: Compare Jama & DOORS 9 Why Compare

Source URL: go.jamasoftware.com

• Software
• Software requirements
• Computing
• Jama Software
• Project management software
• Social software
• Software project management
• Systems Modeling Language
• Agile software development
• Requirements management
• JAMA
• Business requirements